Previous | 
Home
Section: Dissemination
Popularization
— Xavier Rival gave a talk at the “1/2 heure de Science”, at Inria Rocquencourt, on the 6th of December, 2012.
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
- Analysis of Biological Pathways
- Leakage Analysis
- Termination
- Probabilistic Abstract Interpretation
- Formal Verification by Abstract Interpretation
- Static Analysis of Parallel Software
- Static Analysis of Bit-Level Machine Integer and Floating-Point Operations
- Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations
- A Constraint Solver Based on Abstract Domains
- Automatic Inference of Necessary Preconditions
- Inference of Necessary Field Conditions with Abstract Interpretation
- TreeKs: A Functor to Make Numerical Abstract Domains Scalable
- An Abstract Domain to Infer Types over Zones in Spreadsheets
- Hierarchical Abstraction of Dynamic Structures
- Reduced Product Combination of Abstract Domains for Shapes
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
- Analysis of Biological Pathways
- Leakage Analysis
- Termination
- Probabilistic Abstract Interpretation
- Formal Verification by Abstract Interpretation
- Static Analysis of Parallel Software
- Static Analysis of Bit-Level Machine Integer and Floating-Point Operations
- Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations
- A Constraint Solver Based on Abstract Domains
- Automatic Inference of Necessary Preconditions
- Inference of Necessary Field Conditions with Abstract Interpretation
- TreeKs: A Functor to Make Numerical Abstract Domains Scalable
- An Abstract Domain to Infer Types over Zones in Spreadsheets
- Hierarchical Abstraction of Dynamic Structures
- Reduced Product Combination of Abstract Domains for Shapes
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography